How to negate or intersect regular expressions or finite automata